1. Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 : proceedings
پدیدآورنده : Jin Song Dong, Jim Woodcock )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
2885